#pragma once

#include "../TermFactory.hpp"
#include "DLTerm.hpp"

namespace terms {
	namespace dl {
		template <typename L=std::string, typename I=std::string, typename C=std::string, typename R=std::string>
		class DLTermFactory 
			: public TermFactory<DLTerm<L, I, C, R>>
		{
			using TermFactory<DLTerm<L, I, C, R>>::TermFactory;
		};
	}
}
